Department of Computer Science, University of Oxford - PDFSEARCH.IO - Document Search Engine

Department of Computer Science, University of Oxford
Results: 170

#	Item
121	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
122	COMPUTER SCIENCE AT OXFORD Professor Michael Wooldridge Head of Department (mjw @ cs.ox.ac.uk) Why Oxford? Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-11-10 15:57:11 Local government in England Higher education College and university rankings University of Birmingham Academic Ranking of World Universities Oxford Education Association of Commonwealth Universities Russell Group
123	Recommended reading & activities Prospective undergraduate students For prospective undergraduate students, or those just wanting to learn a bit more about what Computer Science is really about, we encourage you to read Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-11-27 05:43:38 Computer Programming language Functional programming Algorithm Software engineering Computing Outline of computer science Department of Computer Science University of Oxford Discrete mathematics Mathematics Computer science
124	On Factorisation of Provenance Polynomials ´ Dan Olteanu and Jakub Zavodn´ y Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Provenance Polynomials Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-06-10 07:50:14 Algebra Polynomial Factorization
125	Real-Time Monocular SLAM with Straight Lines Paul Smith? , Ian Reid? and Andrew Davison† ? Department of Engineering Science, University of Oxford, UK † Department of Computing, Imperial College London, UK [pas,ian]@ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-10-05 10:39:06 Geometry Signal processing Match moving Triangulation EKF SLAM Extended Kalman filter Kalman filter Simultaneous localization and mapping Hough transform Computer vision Robot control Artificial intelligence
126	Interaction between hand and wearable camera in 2D and 3D environments W.W. Mayol, A.J. Davison, B.J. Tordoff, N.D. Molton and D.W. Murray Department of Engineering Science, University of Oxford Parks Road, Oxford OX1 3P Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-08-22 10:45:31 Ambient intelligence User interface techniques Human–computer interaction Wearable computer Gesture recognition Electrooculography Humanâ€“computer interaction Virtual reality Computing
127	FDB: A Query Engine for Factorised Relational Databases ´ Nurzhan Bakibayev and Dan Olteanu and Jakub Zavodn´ y Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Query Evaluation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-09-08 14:32:46 Database management systems Relational database management systems Query languages Relational database SQL FO Database K Select Data management Computing Database theory
128	Characteristic-Based Security Analysis of Personal Networks Andrew Paverd Department of Computer Science University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:22 Technology Computing Electronics Cloud computing Internet BT Group
129	Locally Planar Patch Features for Real-Time Structure from Motion Nicholas Molton, Andrew Davison and Ian Reid Department of Engineering Science, University of Oxford, Oxford OX1 3PJ, UK Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-08-22 10:45:30 Computer vision Surfaces Projective geometry Homography Kalman filter Pose Normal Template matching Orientability Geometry Robot control 3D computer graphics
130	Aggregation and Ordering in Factorised Databases Nurzhan Bakibayev, Tomaˇ ´ s Koˇcisk´y, Dan Olteanu, and Jakub Zavodn´ ´ y Department of Computer Science, University of Oxford, OX1 3QD, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-09-17 11:17:17 Data Database theory Database management systems Relational algebra Query languages Programming paradigms Relational database Database normalization Relation Data management Computing Relational model

UPDATE